$\downarrow\exists$$x$:$A$. $B$($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$x$:$A$$\mid$ $B$($x$) \}